\documentclass{article}
\usepackage[x11names, rgb]{xcolor}
\usepackage[utf8]{inputenc}
\usepackage{tikz}
\usetikzlibrary{snakes,arrows,shapes}
\usepackage{amsmath}
%
%
\usepackage[active,tightpage]{preview}
\PreviewEnvironment{tikzpicture}
\setlength\PreviewBorder{0pt}%
\usetikzlibrary{automata}%

\begin{document}
\pagestyle{empty}
%
%
%

\enlargethispage{100cm}
% Start of code
\begin{tikzpicture}[>=latex',join=bevel,]
\tikzstyle{every state}=[draw=blue!50,very thick,fill=blue!20]%
\node (q0) at (124bp,722bp) [state] {$q_{0}$};
  \node (q8) at (432bp,106bp) [state] {$q_{8}$};
  \node (q7) at (432bp,194bp) [state] {$q_{7}$};
  \node (q6) at (432bp,282bp) [state] {$q_{6}$};
  \node (q5) at (422bp,370bp) [state] {$q_{5}$};
  \node (q4) at (412bp,458bp) [state] {$q_{4}$};
  \node (q3) at (432bp,18bp) [state] {$q_{3}$};
  \node (q2) at (412bp,546bp) [state] {$q_{2}$};
  \node (q1) at (124bp,634bp) [state] {$q_{1}$};
  \draw [->] (q0) ..controls (124bp,692bp) and (124bp,676bp)  .. node[auto] {$AbsenceRequest_And_Employee_PLink#Receive_Absence_Request$} (q1);
  \draw [->] (q8) ..controls (432bp,76bp) and (432bp,60bp)  .. node[auto] {$\overline{AbsenceRequest_And_Employee_PLink#Receive_Notification}$} (q3);
  \draw [->] (q7) ..controls (424bp,166bp) and (422bp,153bp)  .. (423bp,142bp) .. controls (423bp,139bp) and (424bp,137bp)  .. node[auto] {$\tau$} (q8);
  \draw [->] (q7) ..controls (432bp,164bp) and (432bp,148bp)  .. node[auto] {$\tau$} (q8);
  \draw [->] (q6) ..controls (432bp,252bp) and (432bp,236bp)  .. node[auto] {$\overline{AbsenceRequest_And_Manager_PLink#Receive_Manager_Approval}$} (q7);
  \draw [->] (q5) ..controls (426bp,340bp) and (427bp,324bp)  .. node[auto] {$AbsenceRequest_And_Manager_PLink#Receive_Manager_Approval$} (q6);
  \draw [->] (q4) ..controls (411bp,430bp) and (411bp,417bp)  .. (413bp,406bp) .. controls (413bp,403bp) and (414bp,401bp)  .. node[auto] {$\overline{AbsenceRequest_And_Manager_PLink#Receive_Absence_Request--006}$} (q5);
  \draw [->] (q3) ..controls (313bp,31bp) and (18bp,65bp)  .. (18bp,106bp) .. controls (18bp,546bp) and (18bp,546bp)  .. (18bp,546bp) .. controls (18bp,584bp) and (59bp,609bp)  .. node[auto] {$AbsenceRequest_And_Employee_PLink#Receive_Absence_Request$} (q1);
  \draw [->] (q2) ..controls (412bp,516bp) and (412bp,500bp)  .. node[auto] {$\tau$} (q4);
  \draw [->] (q2) ..controls (533bp,534bp) and (841bp,499bp)  .. (841bp,458bp) .. controls (841bp,458bp) and (841bp,458bp)  .. (841bp,106bp) .. controls (841bp,74bp) and (821bp,68bp)  .. (793bp,54bp) .. controls (737bp,26bp) and (549bp,20bp)  .. node[auto] {$\tau$} (q3);
  \draw [->] (q1) ..controls (200bp,611bp) and (318bp,574bp)  .. node[auto] {$\overline{AbsenceRequest_And_Employee_PLink#Receive_Absence_Request}$} (q2);
%
\end{tikzpicture}
% End of code

%
\end{document}
%


